Reitblatt, Mark: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (8)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[ACM Press the second ACM SIGCOMM workshop - Hong Kong, China (2013.08.16-2013.08.16)] Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking - HotSDN '13 - FatTire

Reitblatt, Mark, Canini, Marco, Guha, Arjun, Foster, Nate

Рік:

2013

Мова:

english

Файл:

PDF, 384 KB

english, 2013

2

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Industrial Strength Distributed Explicit State Model Checking

Bingham, Brad, Bingham, Jesse, Paula, Flavio M. de, Erickson, John, Singh, Gaurav, Reitblatt, Mark

Рік:

2010

Мова:

english

Файл:

PDF, 1.63 MB

english, 2010

3

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Machine-verified network controllers

Guha, Arjun, Reitblatt, Mark, Foster, Nate

Рік:

2013

Мова:

english

Файл:

PDF, 1.04 MB

english, 2013

4

[ACM Press the ACM SIGCOMM 2012 conference - Helsinki, Finland (2012.08.13-2012.08.17)] Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication - SIGCOMM '12 - Abstractions for network update

Reitblatt, Mark, Foster, Nate, Rexford, Jennifer, Schlesinger, Cole, Walker, David

Рік:

2012

Мова:

english

Файл:

PDF, 653 KB

english, 2012

5

Abstractions for network update

Reitblatt, Mark, Foster, Nate, Rexford, Jennifer, Schlesinger, Cole, Walker, David

Журнал:

ACM SIGCOMM Computer Communication Review

Рік:

2012

Мова:

english

Файл:

PDF, 653 KB

english, 2012

6

[ACM Press the 10th ACM Workshop - Cambridge, Massachusetts (2011.11.14-2011.11.15)] Proceedings of the 10th ACM Workshop on Hot Topics in Networks - HotNets '11 - Consistent updates for software-defined networks

Reitblatt, Mark, Foster, Nate, Rexford, Jennifer, Walker, David

Рік:

2011

Мова:

english

Файл:

PDF, 232 KB

english, 2011

7

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Formal verification of LabVIEW programs using the ACL2 Theorem Prover

Kaufmann, Matt, Kornerup, Jacob, Reitblatt, Mark

Рік:

2009

Мова:

english

Файл:

PDF, 228 KB

english, 2009

8

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Tutorial: Practical verification of network programs

Foster, Nate, Guha, Arjun, Reitblatt, Mark, Schlesinger, Cole

Рік:

2013

Мова:

english

Файл:

PDF, 44 KB

english, 2013